Merkitys
- 1.(Tietojenkäsittelytiede)joukko työkaluja ja merkintätapoja, jotka perustuvat matemaattisen päättelyn soveltamiseen tietokonejärjestelmien suunnittelussa ja toteutuksessa
Käännökset
- engl.formal methods
Englanninkieliset vastineet
- formal methods